Knihy od autora Maurice H. ter Beek

Zobrazené 1 – 7 z 7 výsledkov

1. 

   Formal Methods for Industrial Critical Systems

   Maurice H. Ter Beek | Springer Nature Switzerland AG, 2020

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.44 €

   Kúpiť
2. 

   Web Services and Formal Methods

   Maurice H. ter Beek, Niels Lohman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.89 €

   Kúpiť
3. 

   Integrated Formal Methods

   Maurice H. ter Beek, Rosemary Monahan | Springer International Publishing AG, 2022

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   93.93 €

   Kúpiť
4. 

   Critical Systems: Formal Methods and Automated Verification

   Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.44 €

   Kúpiť
5. 

   From Software Engineering to Formal Methods and Tools, and Back

   Laura Semini, Maurice H. Ter Beek | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.44 €

   Kúpiť
6. 

   Coordination Models and Languages

   Maurice H. ter Beek, Marjan Sirjani | Springer International Publishing AG, 2022

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 16 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   142.86 €

   Kúpiť
7. 

   Coordination Models and Languages

   Maurice H. ter Beek, Marjan Sirjani | Springer, Berlin, 2022

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   73.34 €

   Kúpiť

Výber z miliónov titulov vám len tak niekto neponúkne. Zistite viac